大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Symposium on Computer Software Reliability (1973 : New York City) 的图书(共9357本)

WTO and World Trade [electronic resource] : Challenges in a New Era

0
索取号：
作者：Heiduk、 G眉nter S.、Wong、 Kar-yiu.、SpringerLink (Online service)、
出版社：Heidelberg : Physica-Verlag HD, 2005.

New Developments in Pseudo-Differential Operators [electronic resource] : ISAAC Group in Pseudo-Differential Operators (IGPDO), Middle East Technical University, Ankara, Turkey, August 2007

0
索取号：
作者：Rodino、 Luigi.、Wong、 M. W.、SpringerLink (Online service)、
出版社：Basel : Birkh盲user Basel, 2009.

New Therapeutic Targets in Rheumatoid Arthritis [electronic resource]

0
索取号：
作者：Tak、 Paul-Peter.、SpringerLink (Online service)、
出版社：Basel : Birkh盲user Basel, 2009.

New Trends in the Theory of Hyperbolic Equations [electronic resource]

0
索取号：
作者：Reissig、 Michael.、Schulze、 Bert-Wolfgang.、SpringerLink (Online service)、
出版社：Basel : Birkh盲user Basel, 2005.

Software Agent-Based Applications, Platforms and Development Kits [electronic resource]

0
索取号：
作者：Unland、 Rainer.、Calisti、 Monique.、Klusch、 Matthias.、SpringerLink (Online service)、
出版社：Basel : Birkh盲user Basel, 2005.

New Trends in Vibration Based Structural Health Monitoring [electronic resource]

0
索取号：
作者：Deraemaeker、 Arnaud.、Worden、 Keith.、SpringerLink (Online service)、
出版社：Vienna : Springer Vienna, 2011.

ROMANSY 18 Robot Design, Dynamics and Control [electronic resource] : Proceedings of The Eighteenth CISM-IFToMM Symposium

0
索取号：
作者：Parenti Castelli、 Vincenzo.、Schiehlen、 Werner.、SpringerLink (Online service)、
出版社：Vienna : Springer Vienna, 2010.

New Trends in Thin Structures: Formulation, Optimization and Coupled Problems [electronic resource]

0
索取号：
作者：Mattos Pimenta、 Paulo.、Wriggers、 Peter.、SpringerLink (Online service)、
出版社：Vienna : Springer Vienna, 2010.

SynDEVS Co-Design Flow [electronic resource] : A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation

0
索取号：
作者：Molter、 H. Gregor.、SpringerLink (Online service)、
出版社：Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2012.

Trends and Topics in Computer Vision [electronic resource] : ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010, Revised Selected Papers, Part I

0
索取号：
作者：Kutulakos、 Kiriakos N.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Tools for Practical Software Verification [electronic resource] : LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures

0
索取号：
作者：Meyer、 Bertrand.、Nordio、 Martin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Formal Aspects of Component Software [electronic resource] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

0
索取号：
作者：Arbab、 Farhad.、脰lveczky、 Peter Csaba.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Trends and Topics in Computer Vision [electronic resource] : ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010, Revised Selected Papers, Part II

0
索取号：
作者：Kutulakos、 Kiriakos N.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents [electronic resource] : International Workshop AICOL-III, Held as Part of the 25th IVR Congress, Frankfurt am Main, Germany, August 15-16, 2011. Revised Selected Papers

0
索取号：
作者：Palmirani、 Monica.、Pagallo、 Ugo.、Casanovas、 Pompeu.、Sartor、 Giovanni.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Quantum Interaction [electronic resource] : 6th International Symposium, QI 2012, Paris, France, June 27-29, 2012, Revised Selected Papers

0
索取号：
作者：Busemeyer、 Jerome R.、Dubois、 Fran莽ois.、Lambert-Mogiliansky、 Ariane.、Melucci、 Massimo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Applications for Database, Education, and Ubiquitous Computing [electronic resource] : International Conferences, EL, DTA and UNESST 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings

0
索取号：
作者：Kim、 Tai-hoon.、Ma、 Jianhua.、Fang、 Wai-chi.、Zhang、 Yanchun.、Cuzzocrea、 Alfredo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.